body {
	background-color: #FFFFFF;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	scrollbar-3dlight-color: #F0F0EE;
	scrollbar-arrow-color: #676662;
	scrollbar-base-color: #F0F0EE;
	scrollbar-darkshadow-color: #DDDDDD;
	scrollbar-face-color: #E0E0DD;
	scrollbar-highlight-color: #F0F0EE;
	scrollbar-shadow-color: #F0F0EE;
	scrollbar-track-color: #F5F5F5;
}

p {margin:0; padding:0;}

td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
}

pre {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
}

.example1 {
	font-weight: bold;
	font-size: 14px
}

.example2 {
	font-weight: bold;
	font-size: 12px;
	color: #FF0000
}

.tablerow1 {
	background-color: #BBBBBB;
}

thead {
	background-color: #FFBBBB;
}

tfoot {
	background-color: #BBBBFF;
}

th {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 13px;
}
/* RDFaCE styles */
/* Subject */
*[about]{
border: 1px solid #8aadd6;
padding: 1px;
}
*[typeof]{
border: 1px solid #88cc00;
border-radius: 15px 15px 15px 15px;
padding: 3px;

}
/* Predicate-Object */
*[rel]{
border: 1px solid  #EB9861;
border-radius: 15px 15px 15px 15px;
}
*[property]{
border: 1px solid  #EB9861;
border-radius: 15px 15px 15px 15px;
}
/* CSS rules-> Default tooltip class name: .tooltip*/  
.tooltip {
    background-color: #F5F5B5;
    border: 1px solid #A6C9E2;
    border-radius: 5px 5px 5px 5px;
    color: #303030;
    font-family: sans-serif;
    font-size: 1.1em;
    line-height: 18px;
    padding: 10px 13px;
    text-align: center;
    position: absolute;
    z-index: 9999;
}
.arrow {
    left: 5px;
    position: absolute;
    top: -10px;
}
/* Drag and Drop */
.jqHandle {
   background: red;
   height:15px;
}

.jqDrag {
  width: 100%;
  cursor: move;
}

.jqResize {
   width: 15px;
   position: absolute;
   bottom: 0;
   right: 0;
   cursor: se-resize;
}

.jqDnR {
    z-index: 3;
    position: relative;
    
    width: 180px;
    font-size: 0.77em;
    color: #618d5e;
    margin: 5px 10px 10px 10px;
    padding: 8px;
    background-color: #EEE;
    border: 1px solid #CCC;
}